Enter a word or phrase in any language 👆
Language:
Translation and analysis of words by ChatGPT artificial intelligence
On this page you can get a detailed analysis of a word or phrase, produced by the best artificial intelligence technology to date:
- how the word is used
- frequency of use
- it is used more often in oral or written speech
- word translation options
- usage examples (several phrases with translation)
- etymology
What (who) is extensional equality - definition
LOGIC PRINCIPLE THAT JUDGES OBJECTS TO BE EQUAL IF THEY HAVE THE SAME EXTERNAL PROPERTIES
Extensional equality; Extensional relation; Extensional relations
extensional equality
(Or extensionality). Functions, f and g are extensionally
equal if and only if
f x = g x for all x.
where "=" means both expressions fail to terminate (under some
given reduction strategy) or they both terminate with the
same basic value.
Two functions may be extensionally equal but not
inter-convertible (neither is reducible to the other). E.g.
x . x+x and x . 2*x. See also {observational
equivalence}, referential transparency.
extensionality
Extensionality
In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same.
Wikipedia
Extensionality
In logic, extensionality, or extensional equality, refers to principles that judge objects to be equal if they have the same external properties. It stands in contrast to the concept of intensionality, which is concerned with whether the internal definitions of objects are the same.
